Navigation Expressions in Object-Oriented Modelling
نویسندگان
چکیده
In component-based development, object-oriented modelling notations such as UML are being proposed as a way of providing richer specifications of components. Much more so than in bespoke software development, this requires a high level of precision coupled with sufficient expressive power. Expressive power is delivered by adding textual annotations, such as invariants, pre & post conditions, to diagrams. Navigation expressions, which identify collections of objects by navigating associations, are central to making such annotations precise. We give a semantics to navigation expressions as they are used in recently proposed extensions to object-oriented modelling notations in widespread use by practitioners. The semantics is given using Larch (essentially FOPL), which makes it as accessible as possible while enabling some support for reasoning. The semantics helps to clarify some subtle issues to do with navigation expressions, including the meaning of navigating across collections (sets, bags and sequences) as opposed to just single objects, and the use of filters on collections within expressions.
منابع مشابه
Navigation Expresion in Object-Oriented Modelling
In component-based development, object-oriented modelling notations such as UML are being proposed as a way of providing richer specifications of components. Much more so than in bespoke software development, this requires a high level of precision coupled with sufficient expressive power. Expressive power is delivered by adding textual annotations, such as invariants, pre & post conditions, to...
متن کاملImproved Navigation and Maintenance through an Object-Oriented Approach to Hypermedia Modelling Doctoral dissertation
متن کامل
Visualising action contracts in object-oriented modelling
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper builds on a recent proposal for “constraint diagrams”, a diagrammatic notation allowing the expression of such assertions. Constraint diagrams essentially provide a pictorial representation of navigation expressions, ...
متن کاملA New Modelling Technique for Object-oriented Photogrammetric Computer Vision Algorithms
Photogrammetric Computer Vision algorithms often deal with complex numerical calculations and complex data structures. For modelling the numerical calculations usually a mathematical model is used. For the data structures an Object-Oriented model is appropriate. But there is still a lack in modelling the combination of both kinds of notation. In this paper we present a new modelling technique f...
متن کاملA Rule-Based, Integrated Modelling Approach for Object-Oriented Systems
In this paper an integrated modelling approach for object-oriented systems is proposed. The integrated language consists of three layers. On the first layer UML class diagrams are used to define the structure of the modelled systems and OCL expressions specify queries, which do not modify the object configuration. On the second layer transformation rules model local state modifications of the s...
متن کامل